Theory of Computer Science